2.2.1 Integrals 1 to 4

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

405 431 200 169 0 0 0 0 0

N.S.

1 1.06 0.49 0.42 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.740 10.220 0.644 0.000 0.000 0.000 0.000 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

610 634 448 421 0 0 0 0 0

N.S.

1 1.04 0.73 0.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.408 10.887 0.551 0.000 0.000 0.000 0.000 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

518 540 1407 281 0 0 0 0 0

N.S.

1 1.04 2.72 0.54 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.945 15.380 0.751 0.000 0.000 0.000 0.000 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

822 814 4019 771 0 0 0 0 0

N.S.

1 0.99 4.89 0.94 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.872 17.377 1.295 0.000 0.000 0.000 0.000 0.000